Setting up Arduino IDE for ESP32 boards